-
1 extensional functor
Большой англо-русский и русско-английский словарь > extensional functor
-
2 extensional functor
Математика: экстенсиональный функтор -
3 extensional functor
English-Russian electronics dictionary > extensional functor
-
4 extensional functor
The New English-Russian Dictionary of Radio-electronics > extensional functor
-
5 extensional functor
-
6 functor
-
7 functor
вчтфунктор, оператор над типами ( в теории категорий)- additive functor
- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functor -
8 functor
вчт.функтор, оператор над типами ( в теории категорий)- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- functor of points
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functorThe New English-Russian Dictionary of Radio-electronics > functor
-
9 extensional
1) экстенсиональный
2) объемный
3) экстенсивный ∙ - extensional class - extensional connective - extensional continuity - extensional equality - extensional function - extensional functor - extensional interpretation - extensional logic - extensional model пространственный имеющий протяженность, протяженныйБольшой англо-русский и русско-английский словарь > extensional
-
10 экстенсиональный функтор
Большой англо-русский и русско-английский словарь > экстенсиональный функтор
См. также в других словарях:
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Semilattice — In mathematics, a join semilattice (or upper semilattice) is a partially ordered set which has a join (a least upper bound) for any nonempty finite subset. Dually, a meet semilattice (or lower semilattice) is a partially ordered set which has a… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Background and genesis of topos theory — This page gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the… … Wikipedia
Chu space — Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open… … Wikipedia
Representation theorem — In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to a concrete structure. For example, *in algebra, ** Cayley s theorem states that every group is isomorphic to… … Wikipedia